theory of logical types
逻辑类型的理论
热门查询
- outfox vt. 以计取胜；以机智胜过
- Downton [人名] [英格兰人姓氏] 唐顿 Dunton的变体; [地名] [英国] 唐顿
- coast n. 海岸；滑坡 vt. 沿…岸航行 vi. 滑行；沿岸航行 n. (Coast)人名；(英)科斯特
- Masham n. (英国)马沙姆杂交羊
- negotiating table n. 谈判桌（指正式的谈判会议） [网络] 洽谈桌
- shirtfront n. 衬衫的胸部；胸衣
- seniority n. 长辈；老资格；前任者的特权
- unctuous adj. 油质的；虚情假意的；油腔滑调的
- pegboard n. （玩游戏用的）小钉板；木栓板
- pessimist n. 悲观主义者
- verbena n. 马鞭草；美女樱 n. (Verbena)人名；(意)韦尔贝纳
- cassis abbr. 通讯和社会科学情报所（Communication and Social Science Information Service）
- self-employed adj. 个体经营的；自己经营的；不受雇于他人的
- spaced v. 隔开；空出（space的过去分词） adj. 隔开的；以规定距离排列的；间隔排列的
- kibbutz n. 基布兹（以色列的集体农场）
- Usk n. (Usk)人名；(英)厄斯克
- boiler n. 锅炉；烧水壶，热水器；盛热水器
- tinsmith n. 洋铁匠；锡匠，白铁工
- Matilda n. 徒步旅行者的行囊；玛蒂尔达（女子名）
- glitterati n. 上层人士
考试词汇表
- inhibited sexual excitement
- inhibited unvulcanized area
- inhibiting gene(suppressor)
- inhibition of accommodation
- inhibition of deterioration
- inhibition of nitrification
- inhibition of reinforcement
- inhibitor for DNA synthesis
- inhibitor for nitrification
- inhibitor of polymerization
- inhibitory neurotransmitter
- inhomogeneous Lorentz group
- inhomogeneous random medium
- inhomogeneous semiconductor
- inhomologous(nonhomologous)
- initial Newtonian viscosity
- initial ash softening point
- initial boiling temperature
- initial cause of succession
- initial chaining value(ICV)
